#include<stdio.h>

#define W 3.0e-23
#define C 950

int main(int argc, const char *argv[])
{
	float n,total;
	scanf("%f",&n);
	total = n*C/W;
	printf("%e\n",total);

	return 0;
}
